Probabilmente ti basta usare direttamente i codici che già conosci:
\char\string”2308
e
\char\string”2309
\string probabilmente non ti serve a meno che tu con polyglossia non usi una delle lingue che rendono il doppio apice un carattere attivo; in ogni caso non disturba, e rimarrebbe solo a scopo pleonastico.
Ti conviene definirti due comandi, che ti dicano qualcosa tipo \lceiling e \rceiling, in modo da non doverti ricordare ogni volta i codici UNICODE di quei due caratteri.Intanto, ti ringrazio per l’interessamento!
Non conoscevo questa possibilità, ma purtroppo non mi aiuta: ho provato varie combinazioni, anche senza \string, ma il risultato è sempre uno spazio bianco,Spero di trovare una soluzione quanto prima, altrimenti dovrò o rinunciare al carattere o trovare un surrogato: i miei tempi sono troppo stretti! 😥
Ma ci sono quei caratteri nel font che usi?
Ciao
Enrico