The \(** is now equal to * and the same yeilds for ~ & a~

#

date and time created 85/01/22 13:19:43 by jaap