diff dottes.tex @ 1047:4cfee227da93 build-default-378

Fix notation error.
author Jim Hague <jim.hague@acm.org>
date Sun, 12 Apr 2020 14:43:22 +0100
parents 2f6f571a6181
children 663d0bf36c67
line wrap: on
line diff