# Issues with Agda Mode symbols in VSCode

**URL:** <https://discourse.haskell.org/t/issues-with-agda-mode-symbols-in-vscode/12476>\
**Category:** Learn\
**Created:** [July 16, 2025, 7:11am UTC](https://discourse.haskell.org/t/issues-with-agda-mode-symbols-in-vscode/12476 "2025-07-16T07:11:27Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![KripkesBeard](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/kripkesbeard/32/1588_2.png) [@KripkesBeard](https://discourse.haskell.org/u/KripkesBeard)\
**Post date:** [July 16, 2025, 7:11am UTC](https://discourse.haskell.org/t/issues-with-agda-mode-symbols-in-vscode/12476/1 "2025-07-16T07:11:27Z")

</div>

Apologies for the Agda focused question but many Agda devs hangout here and there doesn’t seem to be any movement on this issue in other Agda focused spaces.

[Many](https://www.reddit.com/r/agda/comments/1d7bbfg/help_with_agda_in_vs_code_converting_symbols_to/) Windows users of Agda via VSCode have issues with certain symbols turning into question marks when type checking a file. Here’s an example from before type checking and after:

 ![screengrab of a piece of Agda code defining a type named "B" in blackboard font.](https://us1.discourse-cdn.com/flex002/uploads/haskell/original/2X/2/2ba4e850865a317d3d9ead1b3b337f0ca8e2e7c4.png)  
 ![screengrab of the same code after type checking, the file is correctly colored but all occurrences of the blackboard "B" have been replaced with pairs of question marks inside of diamonds.](https://us1.discourse-cdn.com/flex002/uploads/haskell/original/2X/5/59bbc690b7dc05114e87a6fdee5626cb25b7e001.png)

Does anyone have any opinion on what’s going on here, if it’s most likely a VSCode issue, or something with Agda mode itself? I have no experience with the internals of VSCode, but I’ve finally gotten to the point in my work where I can no longer ignore the issue and so am willing to put effort into fixing it. The problem is I have no idea where to start.

Thanks for any help, it is deeply appreciated.

---

<div class="post-metadata">

**Author:** ![f-a](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/f-a/32/2740_2.png) [@f-a](https://discourse.haskell.org/u/f-a)\
**Post date:** [July 16, 2025, 9:59am UTC](https://discourse.haskell.org/t/issues-with-agda-mode-symbols-in-vscode/12476/2 "2025-07-16T09:59:27Z")

</div>

Have you tried asking on [their Zulip](https://agda.zulipchat.com/)?