Dear all,

Does anyone know a way to obtain the "box arrow" symbol that is used to signal counterfactual conditionals in logic?

Thanks,
Manolo

Reply via email to