Huh, I'm not sure whether it is the same protocol, I know of this: https://vtdn.dev/docs/sgr/sgr-overline

The syntax is:

CSI 53 m SGR 53 — Overlined CSI 55 m SGR 55 — Not overlined

which is much more different than mitty's Control Sequence, but supports much more emulators