RE: [MiKTeX] (no subject)

[Damien D. <dam...@pi...>]

Many thanks for your answer.

It works now. I use certainly a bad package in which the \Rightarrow command
is renamed or remplaced.

Damien Detrain