This new documentation in under construction. For functions
not covered yet, please use the
old documentation.

rlqvarl – list of quantified variables

## Calling Sequence

rlqvarl \((\,\varphi\,)\)

## Arguments

\(\varphi\) | — | first-order formula |

## Returns

\(L\) | — | list of variables |

## Description

Returns the set of all variables that appear in \(\varphi\) with a quantifier as a list. \(L\) is sorted according to the Reduce kernel order.

The mathematically more meaningful concepts of free and bound occurrences of variables are implemented in rlfvarl, rlbvarl, and rlvarln.

## Example

```
rlqvarl(ex({w, x, y, z}, v=0 and x=0 and y=0) and w=0 and y=0);
```

## See Also