mailing-list for TeXmacs Users

Text archives Help


Re: TeXmacs remote


Chronological Thread 
  • From: Frank <address@hidden>
  • To: Massimiliano Gubinelli <address@hidden>
  • Cc: texmacs-users <address@hidden>
  • Subject: Re: TeXmacs remote
  • Date: Mon, 28 Jun 2021 11:48:03 +0200

Dear all,

Maybe I was not completely clear. What I imagined is that, we also directly
send the TeXmacs format. I wanted to say that we have two output streams into
two rooms, say #chat and #chat-tm, where in #chat, the output is verbatim,
with an ID to point out the corresponding #chat-tm message which is the tm
code. Therefore those who don't install TeXmacs join the room #chat to see
the verbatim, which is still somehow readable, due to Unicode, such as:

Let 𝔛 be ... and let C∈𝒞 be an element...

Maybe we can improve verbatim a bit: Unicode support simple sub/superscripts
such as X₀,Y₁,U²,V³.

Best wishes,
Frank

On 6/28/21, Massimiliano Gubinelli wrote:
Dear Frank,

it is an interesting idea. However maybe a easier approach would be to have
a plugin for the standard IRC protocol (or other instant messaging protocols)
so that we can interact with other chatrooms which are not located in the
server and which possibly can show math via some MathJax/LaTeX kind of
support. The advantage to use TeXmacs would be that math input is more
natural, while we keep the possibility to interact with external world. If
the server do not support LaTeX input we can always send small images for the
math content. But I see this as a possibility which is quite distinct from
our own chatrooms (where we can directly use the TeXmacs format to share
content which remains fully editable/copiable/etc...).

Max

On 27. Jun 2021, at 18:39, Frank <address@hidden> wrote:

Dear all,

I have some thoughts about TeXmacs remote. Currently, Joris implemented a
server and a client. What about making it more flexible as a plugin? Current
model would force all users using TeXmacs. I would propose instead we
standardize the commands in plain text and then one can put it behind an IRC
client (or any other text-based chat client) and once TeXmacs receive a
message, it decodes it? We can have two output channels: one delivers the tm
code and the other delivers verbatims in Unicode, say. In that way, a user
could either use TeXmacs to receive a fully typesetted message, or its
verbatim if using other clients?

For that, it is then not necessary to ask others to install TeXmacs to chat,
but as an option to improve the display, which seems more friendly.

Best,
Frank
--
使用 K-9 Mail 发送自我的Android设备。




Archive powered by MHonArc 2.6.19.

Top of page