@property<EOL><INDENT>def texname(self):<DEDENT>
try:<EOL><INDENT>return self.name.replace('<STR_LIT:_>', r'<STR_LIT>')<EOL><DEDENT>except AttributeError:<EOL><INDENT>return None<EOL><DEDENT>
Name of this flag in LaTeX printable format.