diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2019-01-14 13:45:50 +0100 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2019-01-14 13:45:50 +0100 |
commit | 471b6ed257a1ac1d2eed0547af67cf755c324dbc (patch) | |
tree | d73847e11d1af467e4019b05a4815897433b7fc3 | |
parent | ba605c936bb1baffeff030c3dd1014734ce2ee6a (diff) | |
download | mpc-git-471b6ed257a1ac1d2eed0547af67cf755c324dbc.tar.gz |
log -> \log
-rw-r--r-- | doc/mpc.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mpc.texi b/doc/mpc.texi index 70afe15..cfa52bf 100644 --- a/doc/mpc.texi +++ b/doc/mpc.texi @@ -1010,7 +1010,7 @@ so that the imaginary part of the result lies in @end ifnottex and @iftex -@math{]-\pi/log(10) , \pi/log(10)]} +@math{]-\pi/\log(10) , \pi/\log(10)]} @end iftex @ifnottex ]-Pi/log(10) , Pi/log(10)] |