Re: [firedrake] .dx without operand