texmacs-users - [TeXmacs] Proper way to add labels for vertical arrows

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs] Proper way to add labels for vertical arrows

From: Frank <address@hidden>
To: TeXmacs <address@hidden>
Subject: [TeXmacs] Proper way to add labels for vertical arrows
Date: Wed, 15 May 2019 20:06:20 +0200

Dear all,

After enabling semantic editing mode in TeXmacs, I see that if I put comments directly after the vertical arrow like "↓id", it will show me red box, indicating that there is a semantic mistake. I wonder how to properly do this so that TeXmacs understands that this is a comment to the arrow.

Frank

--
Best wishes!
Yours,

[TeXmacs] Proper way to add labels for vertical arrows, Frank, 05/15/2019

List archive

[TeXmacs] Proper way to add labels for vertical arrows