summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/latex/line10.mf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/latex/line10.mf')
-rw-r--r--Master/texmf-dist/fonts/source/public/latex/line10.mf18
1 files changed, 18 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/latex/line10.mf b/Master/texmf-dist/fonts/source/public/latex/line10.mf
new file mode 100644
index 00000000000..5f93014fbad
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/latex/line10.mf
@@ -0,0 +1,18 @@
+%% RmS 91/11/14: check that cmbase is NOT loaded
+%% RmS 92/03/18: changed message to errmessage
+inner bye;
+if not unknown cmbase:
+ errhelp "This font must be generated using the plain base.";
+ errmessage "You can't use cmbase for this font!";
+ expandafter bye fi
+font_identifier "LINE"; font_size 10pt#;
+font_coding_scheme:="LATEX LINE";
+mode_setup;
+
+qqs#=.4pt#; %width of lines
+qqh#=10pt#; %height of vertical stroke.
+qqw#=10pt#; %length of horizontal stroke.
+
+%arrow dimensions:
+arrowlen#=.4*qqw#; arrowht#=.15*qqw#; arrowcurve#=.1*arrowht#;
+input line;