summaryrefslogtreecommitdiff
path: root/fonts/prodint/prodint.sty
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/prodint/prodint.sty
Initial commit
Diffstat (limited to 'fonts/prodint/prodint.sty')
-rw-r--r--fonts/prodint/prodint.sty11
1 files changed, 11 insertions, 0 deletions
diff --git a/fonts/prodint/prodint.sty b/fonts/prodint/prodint.sty
new file mode 100644
index 0000000000..2312c731d3
--- /dev/null
+++ b/fonts/prodint/prodint.sty
@@ -0,0 +1,11 @@
+% JC Loredo-Osti
+% You can do whatever you want with this file.
+%
+\ProvidesPackage{prodint}
+\DeclareFontFamily{U}{ProdInt}{}
+\DeclareFontShape{U}{ProdInt}{m}{n}{<-> prodint}{}
+\DeclareSymbolFont{Prodint}{U}{ProdInt}{m}{n}
+\DeclareMathSymbol{\prodi}{\mathop}{Prodint}{80} %80 prodinttext
+\DeclareMathSymbol{\Prodi}{\mathop}{Prodint}{82} %82 prodintdisplay
+\DeclareMathSymbol{\PRODI}{\mathop}{Prodint}{84} %84 prodintbig
+\endinput