markdown :: Decorator :: escape_char
	# Render a character escape.
	fun escape_char(v: PROCESSOR, char: Char) is abstract
					lib/markdown/markdown.nit:702,2--703,54
				
	redef fun escape_char(v, c) do v.addc(c)
					lib/markdown/decorators.nit:151,2--41
				
	redef fun escape_char(v, c) do add_char(v, c)
					lib/markdown/man.nit:164,2--46