kdrag.printers.latex.update_notation

kdrag.printers.latex.update_notation() → None

Refresh notation from registered kdrag.notation operators.

Only unary and binary FuncDeclRef methods are added. Call this after importing a theory that registers new notation-backed function declarations.

>>> from kdrag.theories import real
>>> update_notation()
>>> f, g = smt.Consts("f g", real.RFun)
>>> to_latex(f + g)
'\\text{f} + \\text{g}'
>>> from kdrag.theories.real import vec2
>>> update_notation()
>>> u = smt.Const("u", vec2.Vec2)
>>> to_latex(-u)
'-\\text{u}'

Return type:

None