4 ms·The single-line arrow has both precedent in set theory, type theory, and mathematical logic.by throwaway999888 11y agoThe single-line arrow has both precedent in set theory, type theory, and mathematical logic.