display Misc string in ProofFeature