# Changing arrows using syntax properties?

**URL:** <https://racket.discourse.group/t/changing-arrows-using-syntax-properties/3990>\
**Category:** Questions & Answers\
**Created:** [October 28, 2025, 6:44pm UTC](https://racket.discourse.group/t/changing-arrows-using-syntax-properties/3990 "2025-10-28T18:44:47Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![sora22](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/sora22/32/2622_2.png) [@sora22](https://racket.discourse.group/u/sora22)\
**Post date:** [October 28, 2025, 6:44pm UTC](https://racket.discourse.group/t/changing-arrows-using-syntax-properties/3990/1 "2025-10-28T18:44:47Z")

</div>

I am currently trying to fix the binding arrows? I'm not actually sure what they're formally called, with some macros I am writing so they only point to the identifiers actually being referenced. Currently they are also pointing to identifiers with the same name defined outside of its scope. I think I would need to manipulate some syntax properties, and thus went looking through the documentation for them. I found some symbols that can be used as keys called out specifically, but never any comprehensive list of properties for me to look through. Does anyone know where I could find this? And if I am correct in thinking I would need to add syntax properties to fix the arrows?

---

<div class="post-metadata">

**Author:** ![greghendershott](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/greghendershott/32/98_2.png) [@greghendershott](https://racket.discourse.group/u/greghendershott)\
**Post date:** [October 28, 2025, 9:45pm UTC](https://racket.discourse.group/t/changing-arrows-using-syntax-properties/3990/2 "2025-10-28T21:45:48Z")

</div>

Do you want [9.2 Syntax Properties that Check Syntax Looks For](https://docs.racket-lang.org/tools/Check_Syntax.html#%28part._.Syntax_.Properties_that_.Check_.Syntax_.Looks_.For%29)?