Stream: Beginner Questions

Topic: Undefined control sequence


view this post on Zulip zibo yang (Jul 06 2021 at 16:01):

When I run "isabelle build" to produce pdf, some error occurs like:

Latex error (line 44 of "~~/gambler/gamblertest.thy"):
  Undefined control sequence.
  <recently read> \bigsqcap

  ...en\ {\isasyminfinity}\ else\ {\isasymSqinter

If I understand it right, the error states that it cannot recognize \bigsqcap thanks to the lack of specifc package.
So how to fix that? just add \usepackage{mathptmx}? but I have no idea where to add this package.

view this post on Zulip Jakub Kądziołka (Jul 06 2021 at 16:02):

There is a list of commented out \usepackages in root.tex, enable them in that file

view this post on Zulip Jakub Kądziołka (Jul 06 2021 at 16:03):

looks like you want to uncomment the stmaryrd line

view this post on Zulip zibo yang (Jul 06 2021 at 16:56):

Thanks. I've solved the problem


Last updated: Aug 13 2022 at 05:18 UTC