@string(a="¶") 
@string(b="·") 
@string(c="»")  
@string(d="½")  
@string(e="¿")  
@string(f="è")  
@string(g="é")  
@string(h="@aleph")
@string(i="@Inter")
@string(j="@bot")
@string(k="@g(r)")
@string(l="&")
@string(m="@DVBar")
@string(n="@Rangle")
@string(o="@Forall")
@string(p="%")
@string(q="@delta")
@string(r="@uparrow")
@string(s="û")
@string(t="@Infty")
@string(u="@g(Q)")
@string(v="@g(L)")
@string(w="@g(X)")
@string(x="^")
@string(y="@@")
@string(z="$")
@string(#="@_")
@string(.=".")
@string(,=",")
@string('="'")
@string(;=";")
@string(?="?")
@string(!="!")
@string(^="@*")