  We show that positive elements with respect to the twisted convolutions,
belonging to some ultra-test function space of certain order at origin, belong
to the ultra-test function space of the same order everywhere. We apply the
result to positive semi-definite Weyl operators.
