On Wed, Aug 5, 2020 at 11:57 AM Jeong Dal wrote:
> Dear Mikael,
>
>
> 2) Is there a nice way to compile the tex file from
>
> within vs code? As of
> now, I opened a terminal and compiled from that, but that feels like the
> wrong way of doing it.
>
>
> For the first question, I don’t know

Fabrice Couvreur schrieb am 05.08.2020 um 19:33:
Hello,
I also use a square to complete a demonstration. I tried this without
success
Thank you
Fabrice
\definesymbol[Fin][\mathematics{\square}]
\def\qed{\strut\wordright{\symbol[Fin]}}
\defineenumeration
[proof]
[...,

Hello,
I also use a square to complete a demonstration. I tried this without
success
Thank you
Fabrice
\definesymbol[Fin][\mathematics{\square}]
\def\qed{\strut\wordright{\symbol[Fin]}}
\defineenumeration
[proof]
[text=Démonstration,
alternative=serried,
distance=\zeropoint,

Dear Mikael,
> 2) Is there a nice way to compile the tex file from
> within vs code? As of
> now, I opened a terminal and compiled from that, but that feels like the
> wrong way of doing it.
For the first question, I don’t know either.
For the second question, I’d like to explain what I did for

Wolfgang, thank you so much for your help!
Hm, when reading your explanation I start to understand my short cut in
thinking about solving the problem.
I will build it into my project…
Thanks and kind regards
Willi
> On 4 Aug 2020, at 19:46, Wolfgang Schuster
> wrote:
>
> Willi Egger