and ((X+Y)^4)</code>
con <code>(declare (x, mainvar), expand ((x+y)^4))</code>.  (Nota: Se debe tener cuidado si se quiere hacer uso de esta declaración. Por ejemplo, si se resta una expresión en la que <code>x</code> ha sido declarada como <code>mainvar</code> de otra en la que <code>x</code> no es <code>mainvar</code>, puede ser necesario volver a simplificar, <code>ev (expr, simp)</code>, a fin de obtener cancelaciones.  Además, si se guarda una expresión en la que <code>x</code> es <code>mainvar</co