#double arrow #strong arrow #implies