# Isabelle markup expander

> Parse Isabelle escape codes and replace them by unicode representation

Canonical page: [https://chrome-stats.com/d/isabelle-markup-expander](https://chrome-stats.com/d/isabelle-markup-expander)

## Overview

- **ID:** `isabelle-markup-expander`
- **Platform:** Firefox
- **Type:** Firefox add-on
- **Status:** Available
- **Publisher:** terru
- **Category:** other
- **Version:** 0.1
- **Last updated:** 2026-06-20
- **First published:** 2026-06-17
- **Size:** 23 KB
- **Data as of:** 2026-09-10
- **Store listing:** [Firefox Add-ons Store](https://addons.mozilla.org/firefox/addon/isabelle-markup-expander/)

## Description

Tired of having to read Isabelle theory files on code forges, staring at the bare, unexpanded markup? Use this to do a simple pass over the website and replace all the escape sequences with their unicode representations.

## Rankings

- #147,696 — Overall
- #46 — text expander
- #129 — expand

## Permissions and access

### Permissions

- `<all_urls>`

## Safety

- **Risk impact:** Moderate risk impact
- **Risk likelihood:** High risk likelihood

### Analysis details

- Allows access to all websites, posing a significant security risk as it can monitor and modify data from any visited site.
- This extension has low user count. Unpopular extensions may not be stable or safe.

> Some risk analysis details are omitted from this free response. [Upgrade to view the full analysis](https://chrome-stats.com/pricing).

## Similar extensions and apps

- [Matisa](https://chrome-stats.com/d/matisa) — 4 users
- [Rainbow Delimiters](https://chrome-stats.com/d/rainbow-delimiters) — 4 users
- [ZdS-Relecture](https://chrome-stats.com/d/zds-relecture)
- [Words obfuscator](https://chrome-stats.com/d/words-obfuscator) — 1 users
- [LaTeX in Slack](https://chrome-stats.com/d/latex-in-slack) — 253 users, 5.00 / 5
- [TeXpress](https://chrome-stats.com/d/texpress) — 1 users
- [Enhanced Text View](https://chrome-stats.com/d/ad31d5945a6641319602) — 2 users
- [House of Fox](https://chrome-stats.com/d/house-of-fox) — 4 users
- [String Escaper](https://chrome-stats.com/d/string-escaper) — 1 users
- [Convertisseur texte/HTML](https://chrome-stats.com/d/convertisseur-texte-html) — 1 users
- [Tatoeba Blur](https://chrome-stats.com/d/tatoeba-blur) — 1 users, 5.00 / 5
- [Enlight Dracula](https://chrome-stats.com/d/enlight-dracula)

---

Source: [Chrome-Stats](https://chrome-stats.com/d/isabelle-markup-expander)