1

vincent douce <[email protected]> Mon, 20 May 2024 17:38:32 +0200

Newsgroups	gmane.editors.texmacs.user
Message-ID	<[email protected]>

hello
is there a means in TeXmacs to get this 1 with double bar ?

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.