Label

class proveit.Label(string_format, latex_format=None, label_type='Label', extra_core_info=(), *, fence_when_forced=False, styles=None)

Bases: proveit.Expression

Label is the base class for the Variable, Literal, and Multi_variable expr classes (Label is not itself an expr class). It is a mathematical label with string and latex formatting.

Methods Summary

latex(self, \*\*kwargs)	Return a latex representation of the Label.
remake_arguments(self)	Yield the argument values that could be used to recreate the Label.
string(self, \*\*kwargs)	Return a string representation of the Label.
style_options(self)	Return a StyleOptions object that indicates the possible styles and values that is available to determine how this Expression may be presented.

Methods Documentation

latex(self, \*\*kwargs)

Return a latex representation of the Label.

remake_arguments(self)

Yield the argument values that could be used to recreate the Label. This is a default for simple Labels, Variables, or Literals.

string(self, \*\*kwargs)

Return a string representation of the Label.

style_options(self)

Return a StyleOptions object that indicates the possible styles and values that is available to determine how this Expression may be presented.