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 /lib/Graphics | |
parent | cd3daf7e12fa2a8c775a1d6516049bbc7e44da32 (diff) |
(<>) and (·)
use <> for general contraction, remove ×, use Alt Gr . for cdot
Diffstat (limited to 'lib/Graphics')
0 files changed, 0 insertions, 0 deletions