[Tex] Doppie parentesi SemDen

[hamming_burst]

Salve,
chiedo un piccolo aiuto.

In informatica, nella semantica denotazionale, si utilizzano delle partentesi particolare che hanno vari nomi (parentesi quadre doppie, parentesi semantiche, parentesi di Oxford) ma che non riesco a capire come creare in Latex, dato che non sono standard e devo riprodurle.

Le partesi sono queste, dalla mappa caretteri: [size=200]〚[/size]

una soluzione è utilizzare il carettere sopra ed ingrandirlo in punti, ma è una scelta che non mi piace molto. Perciò un'alternatica che avevo in mente è utilizzare due parentesi quadre concatenate, e togliere la spaziatura di mezzo con una qualche funzione.

es: [size=200][[[/size] e togliere la spaziatura che si nota a metà.

Esiste un qualche modo per far arretrare un carattere? In programma avanzati di impaginazione grafica questo metodo è possibile farlo, in Latex c'è qualcosa di equivalente?

Ringrazio chi aiuta

[apatriarca]

Potresti provare ad inserire uno spazio negativo con \!

[hamming_burst]

grandissimo funziona.
Con la tua funzione ho fatto na ricerca, e ho aggiunto un ulteriore pezzo che assieme a \! viene che è na meraviglia

funzione: \ [\hspace{-1mm}\!\ [\ Oxford\ brackets\ ]\hspace{-1mm}\!\ ]

Latex: [tex]\ [\hspace{-1mm}\!\ [\ Oxford\ brackets\ ]\hspace{-1mm}\!\ ][/tex]

grazie

EDIT:

In Latex esistono già due funzioni che rappresentano queste parentesi, ma per alcuni problemi sia il mio editor, sia il l'edior del forum non legge queste funzioni, per completezza le cito:

- \textlbrackdbl
- \llbracket