Not sure if code is correct, but that is what's in this file. I've seen \constant{True} in other places.
Attach a file by drag & drop or click to upload
