Nicht ganz.
Der Unterschied zwischen Doppeldruck und den Schlüsselworten HIGHLIGHT bzw. UNDERLINE ist der, dass die Schlüsselworte in ESC-Sequenzen umgesetzt werden.
Doppeldruck gibt den Text einfach übereinander aus. Jetzt kommt es auf die Druckerlösung an, ob Zeichen tatsächlich übereinander gedruckt werden.
Fettdruck läßt sich aber auf diese Weise nicht mehr realisieren.