# Redlog Documentation Center

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);