pygments.filters.SymbolFilter

class documentation

class SymbolFilter(Filter):

View In Hierarchy

Convert mathematical symbols such as <longrightarrow> in Isabelle or longrightarrow in LaTeX into Unicode characters.

This is mostly useful for HTML or console output when you want to approximate the source rendering you'd see in an IDE.

Options accepted:

lang : string
The symbol language. Must be one of 'isabelle' or 'latex'. The default is 'isabelle'.
Method __init__ Undocumented
Method filter Undocumented
Class Variable isabelle​_symbols Undocumented
Class Variable lang​_map Undocumented
Class Variable latex​_symbols Undocumented
Instance Variable symbols Undocumented

Inherited from Filter:

Instance Variable options Undocumented
def __init__(self, **options):
overrides pygments.filter.Filter.__init__

Undocumented

def filter(self, lexer, stream):
overrides pygments.filter.Filter.filter

Undocumented

isabelle_symbols: dict[str, str] =

Undocumented

lang_map =

Undocumented

latex_symbols: dict[str, str] =

Undocumented

symbols =

Undocumented