Dear List,

Is it possible to have function names like ∀ (unicode universal quantifier)?
This question is inspired by agda source code, which supports this.

http://www.cs.nott.ac.uk/~nad/listings/lib-0.4/Algebra.html

It would be handy to use. My guess is, however, that it's not supportet in R.

Regards,
Steve

______________________________________________
R-help@r-project.org mailing list
https://stat.ethz.ch/mailman/listinfo/r-help
PLEASE do read the posting guide http://www.R-project.org/posting-guide.html
and provide commented, minimal, self-contained, reproducible code.

Reply via email to