#wide arrow #thick arrow #double arrow #heavy arrow #implies arrow