diff options
| author | Alberto Ruiz <aruiz@um.es> | 2014-04-25 20:45:36 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2014-04-25 20:45:36 +0200 |
| commit | 1b5e84ec979105d54fee51d19fccddb52026be69 (patch) | |
| tree | fb3808253eb911f1b7a6882eafe6d45cbac0656d /Config.hs | |
| parent | cd3daf7e12fa2a8c775a1d6516049bbc7e44da32 (diff) | |
(<>) and (·)
use <> for general contraction, remove ×, use Alt Gr . for cdot
Diffstat (limited to 'Config.hs')
0 files changed, 0 insertions, 0 deletions