@string(a="¡") 
@string(b="¢")
@string(c="£") 
@string(d="¥") 
@string(e="|")
@string(f="§") 
@string(g="¨") 
@string(h="«") 
@string(i="²") 
@string(j="@Langle")
@string(k="*")
@string(l="³")
@string(m="@angle")
@string(n="@Nabla")
@string(o="@Exists")
@string(p="@g(y)")
@string(q="@downarrow")
@string(r="@partial")
@string(s="@Emptyset")
@string(t="<")
@string(u="@g(d)")
@string(v="@g(z)")
@string(w="@g(h)")
@string(x="@g(x)")
@string(y="@g(s)")
@string(z="@g(t)")
@string(#="@ ")
@string(.=".")
@string(?="?")
@string(!="!")
@string(^="@*")