# Re: [isabelle] Monad_Syntax latex symbols

```Hi Matthieu,

```
```While compiling generated documents from theories, it seems some symbols of
Monad_Syntax are missing. Should they be defined in isabellesym.sty ?
```
```
```
As a user, you are free to define your own latex renderings of these symbols... But we should probably add a sensible default...
```
```
```-----
```
```
This one requires

\usepackage[english]{babel}

Alex

```

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.