0
votes
0answers
71 views

Tabular derivations with bussproofs

I am trying to typeset derivations in the CCG grammar formalism. These are just derivations as in type theory, but with words as the initial premises. I've tried to typeset them using the bussproof ...
2
votes
0answers
73 views

aboveglftskip in expex linguistic glosses

First of all I am not an expert in using LaTeX, I just started a few months back. I am using MiKTeX with the expex package for glossed linguistic examples. If we take a look at a glossed example, we ...
3
votes
1answer
88 views

Spacing and the use of \twoacc

When I use the \twoacc command it sometimes puts unwanted space before and after a phonetic symbol. This happens with, for example, with [p\twoacc[\r|\tr{\textturnr}]p]. The correct spacing occurs ...
2
votes
2answers
315 views

How to automatically separate words in inference from semantic package?

I'm trying to use inference from semantic package to describe static semantics of a language. I would like to separate nonterminals in inference rules with spaces without inserting them by hand. Is ...