pip._vendor.pygments.filters.SymbolFilter Class Reference

Inheritance diagram for pip._vendor.pygments.filters.SymbolFilter:

Collaboration diagram for pip._vendor.pygments.filters.SymbolFilter:

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

Public Attributes
	symbols
Public Attributes inherited from pip._vendor.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__()

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

Reimplemented from pip._vendor.pygments.filter.Filter.

Member Function Documentation

filter()

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

Reimplemented from pip._vendor.pygments.filter.Filter.

---

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

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