Use unicode symbol for implicational arrow

Experimental: symbol might be too small (note that this is actually LONG
RIGHTWARDS ARROW).

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>