30 Aprile 2011 alle 15:24
#58471
::
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.