<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

Hi George,

<div class="">I'm a happy user of Texpad <a href="https://www.texpad.com" class="">

https://www.texpad.com</a> (for both macOS and iOS) where all the features you are asking for are available, and more :-)</div>

<div class="">cheers</div>

<div class="">--e.</div>

<div class=""><br class="">

</div>

<div class=""><br class="">

</div>

</body>

</html>