“Is this pen compatible with Galaxy note 20?”