etc/abbrevs
Tue, 29 Dec 2015 23:20:11 +0100 wenzelm more symbols;
Tue, 29 Dec 2015 22:41:22 +0100 wenzelm avoid immediate completion as ASCII versions that are still used;
Tue, 29 Dec 2015 20:58:18 +0100 wenzelm more arrow symbols;
Tue, 29 Dec 2015 17:54:45 +0100 wenzelm more abbrevs;
less more (0) tip