Object Info

left-associative infix operator ~ has precedence 100

_G98 ~ _G99 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:231
_G98 ~ _G99 --> elemental_op --> operator --> object
total_op --> operator --> object
constant --> object
------------------- Properties:
_G98 ~ _G99 has type(([_G31410, string] -> _G31410))
------------------- Methods:
_G98 ~ _G99 can get_latex(( _G31559
~ $STRING(_G31562)
), ~, [ _G31559
, "\,\mbox{\scriptsize\sl["
, _G31562Fail