HandrailsTranslator#

Qualified name: rsm.translator.HandrailsTranslator

class rsm.translator.HandrailsTranslator(quiet=False, hidden_handrails=True, sidebar=True, add_source=True)[source]#

Bases: Translator

Methods

leave_step

visit_abstract

visit_bibliography

visit_contents

visit_manuscript

visit_mathblock

visit_paragraph

visit_proof

visit_section

visit_step

visit_subproof

visit_theorem

Attributes

svg