\def\Xint#1{\mathchoice%
{\XXint\displaystyle\textstyle{#1}}%
{\XXint\textstyle\scriptstyle{#1}}%
{\XXint\scriptstyle\scriptscriptstyle{#1}}%
{\XXint\scriptscriptstyle\scriptscriptstyle{#1}}%
\!\int}%
\def\XXint#1#2#3{{\setbox0=\hbox{$#1{#2#3}{\int}$}
\vcenter{\hbox{$#2#3$}}\kern-.5\wd0}}
\newcommand{\Rinfty}{\rotatebox{77}{$\infty$}\hspace{-0.05em}}
Then when I type:
\mathop{\Xint{\Rinfty}} \sqrt{z}dz
The infinity sign will line up perfectly slanted with the slant of the integral sign.
I understand the \rotatebox command is part of the graphicx package and may not be available in mathjax.
Is it possible to write a custom java script to implement this construct?
Thanks,
Dominic
On Monday, August 8, 2016 at 7:15:44 AM UTC-5, youi...@gmail.com wrote:
Hello,I am working on a web site and would like to implement a new integral sign. Here's is a rough idea of what I would like:\!\!\!\!\!\infty\intNote how the infinity sign is over the integral sign but its slant is not the same as the integral sign.I can write the following in latex which rotates the infinity sign appropriately so that it lines up correctly with the integral sign:
\def\Xint#1{\mathchoice%
{\XXint\displaystyle\textstyle{#1}}%
{\XXint\textstyle\scriptstyle{#1}}%
{\XXint\scriptstyle\scriptscriptstyle{#1}}%
{\XXint\scriptscriptstyle\scriptscriptstyle{#1}}%
\!\int}%
\def\XXint#1#2#3{{\setbox0=\hbox{$#1{#2#3}{\int}$}
\vcenter{\hbox{$#2#3$}}\kern-.5\wd0}}
\newcommand{\Rinfty}{\rotatebox{77}{$\infty$}\hspace{-0.05em}}
Then when I type:
\mathop{\Xint{\Rinfty}} \sqrt{z}dz
The infinity sign will line up perfectly slanted with the slant of the integral sign.
I understand the \rotatebox command is part of the graphicx package and may not be available in mathjax.
Is it possible to write a custom java script to implement this construct?
Thanks,
Dominic
--
You received this message because you are subscribed to the Google Groups "MathJax Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mathjax-users+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.