diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-09 23:38:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-09 23:38:21 +0000 |
commit | 215012a8d684889983ec2c0629e1c704e6853d9c (patch) | |
tree | ebf1271bd71869069824935ae8a5678745bf8bce /Master/texmf-dist/fonts/source/public/cm/bigacc.mf | |
parent | 1af3d19d6dbcbf309667d9cb4aa3cdda914914a9 (diff) |
trunk/Master/texmf-dist/fonts/source
git-svn-id: svn://tug.org/texlive/trunk@101 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/cm/bigacc.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/cm/bigacc.mf | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/cm/bigacc.mf b/Master/texmf-dist/fonts/source/public/cm/bigacc.mf new file mode 100644 index 00000000000..987e70f42f2 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/cm/bigacc.mf @@ -0,0 +1,35 @@ +% THIS IS THE OFFICIAL COMPUTER MODERN SOURCE FILE bigacc.mf BY D E KNUTH. +% IT MUST NOT BE MODIFIED IN ANY WAY UNLESS THE FILE NAME IS CHANGED! + +% This file contains series of large accents for math extension fonts. + +% The sizes are `wide' (|10u#|), `wider' (|18u#|), and `widest' (|26u#|). + +% Character codes \0142--\0147 are generated. + +charlist oct"142": oct"143": oct"144"; % circumflexes +charlist oct"145": oct"146": oct"147"; % tildes + +cmchar "Wide circumflex (hat) accent"; +beginchar(oct"142",10u#,.5[asc_height#,body_height#],0); +big_hat; endchar; + +cmchar "Wider circumflex (hat) accent"; +beginchar(oct"143",18u#,body_height#,0); +big_hat; endchar; + +cmchar "Widest circumflex (hat) accent"; +beginchar(oct"144",26u#,body_height#,0); +big_hat; endchar; + +cmchar "Wide tilde (squiggle) accent"; +beginchar(oct"145",10u#,.5[asc_height#,body_height#],0); +big_tilde; endchar; + +cmchar "Wider tilde (squiggle) accent"; +beginchar(oct"146",18u#,body_height#,0); +big_tilde; endchar; + +cmchar "Widest tilde (squiggle) accent"; +beginchar(oct"147",26u#,body_height#,0); +big_tilde; endchar; |