pygments.filters.SymbolFilter Class Reference

Inheritance diagram for pygments.filters.SymbolFilter:

Collaboration diagram for pygments.filters.SymbolFilter:

Public Member Functions
	__init__ (self, **options)
	filter (self, lexer, stream)

Public Attributes
	symbols
Public Attributes inherited from pygments.filter.Filter
	options

Static Public Attributes
dict	latex_symbols
dict	isabelle_symbols
dict	lang_map = {'isabelle' : isabelle_symbols, 'latex' : latex_symbols}

Detailed Description

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'``.

Constructor & Destructor Documentation

__init__()

pygments.filters.SymbolFilter.__init__	(		self,
		**	options
	)

Reimplemented from pygments.filter.Filter.

Member Function Documentation

filter()

pygments.filters.SymbolFilter.filter	(		self,
			lexer,
			stream
	)

Reimplemented from pygments.filter.Filter.

---

The documentation for this class was generated from the following file:

• docs/help/help-venv/lib/python3.12/site-packages/pygments/filters/__init__.py