mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

You can also type | and then chose variants with “tab”, one of them is the 
delimiter you are looking for.
max


> On 13. Sep 2018, at 19:39, Jorge Fernández de Cossío Díaz <address@hidden> 
> wrote:
> 
> How can I obtain a derivative evaluated at a point, such as:
> <image.png>
> 
> I don't know how to print the long bar on the right (without a matching 
> long bar on the left) with the subscripted x0.