Der recht neue Schriftsatz kpfonts stellt genau diesen Befehl bereit.
Code:
\usepackage{kpfonts}
Und die Zeichen sehen genau so aus, wie du sie beschreibst.
Code:
\llbracket
\rrbracket
Ich bin mir jetzt nur nicht sicher, ob die Befehle allgemein oder nur im Mathe-Modus funktionieren. Aber das wirst Du sehr leicht selbst herausfinden. Neben diesen Befehlen bietet das Paket für meinen Geschmack auch ein ordentliches Schriftbild.
Aber was meinst Du mit Kürzeln für diese zwei Buchstaben? Kannst Du das mal präziser anhand eines Beispiels beschreiben?
Ergänzung:
Die Symbole sind nur im Mathe-Modus verwendbar. Aber sie sind wie alle Klammersymbole skalierbar.
Code:
\[ \left\llbracket\frac{1}{1}\right\rrbracket \]
Lesezeichen