3 ms·

Point well received. BTW Fat arrow looks more appealing than simple arrow. All the other pieces look very well designed.

• throwaway999888 11y ago
  The single-line arrow has both precedent in set theory, type theory, and mathematical logic.