search

bbchallenge / bbchallenge-paper

bbchallenge's research outputs
Creative Commons Attribution 4.0 International
0 stars 0 forks source link

Command for Turing Machine names #1

Open aducharme opened 1 week ago

aducharme commented 1 week ago

The dashes and underscores in our standard string format for TMs (e.g. 1RB1RA_0LC1LE_1LD1LC_1LA0LB1LF1RE---0RA) is not LateX friendly. Putting slashes in front of every underscore gets them to show up, but in addition to being annoying, doesn't work for dashes.

UncombedCoconut commented 1 week ago

I've noticed that hyperref's \url{} handles the formatting brilliantly, so we "only" have to replicate what it's doing in a macro like \tm{} or \tmtext{}.