Re: Typography. Good to know. We might drop the nabla and stick to ASCII in future references. Re: Trademark. Might be an issue. I’ve checked with the Kotlin t

Re: Typography. Good to know. We might drop the nabla and stick to ASCII in future references. Re: Trademark. Might be an issue. I’ve checked with the Kotlin team and they are looking into it.