search

dcernst / IBL-IntroToProof

A textbook for the transition to proof course for mathematics majors utilizing IBL.
http://dcernst.github.io/IBL-IntroToProof
42 stars 22 forks source link

\coloneqq command broken in PreTeXt version #157

Open dcernst opened 1 year ago

dcernst commented 1 year ago

The temporary fix is to redefine \coloneqq as :=.